Bookmarks
Bookmarks Bar
- 书签管理器
STAR
- GitHub
- Google
- Wikipedia, the free encyclopedia
- Home - Quora
- Andrew Appel's Home Page
- 百度
- Google 镜像站搜集 - Techzero
- Lambda the Ultimate | Programming Languages Weblog
- 印象笔记
- Safari - Everyone deserves a remarkable career.
- O'Reilly
- Coursera - Free Online Courses From Top Universities
- Microsoft Research - MSR
- MOOC学院 果壳网旗下慕课学习社区
- Shadowsocks
- HaskellWiki
- 首页 - 知乎
- twitter
- Programming Languages: On-Line Offering: Lecture Notes & Videos
- Join functional programming on Slack!
- Envato Tuts+ Code Tutorials Categories
- Code Courses by Envato Tuts+
- Welcome to Python.org
- Overview — Python 3.5.1 documentation
- Haskell Language
- Archives - Ruslan's Blog
- Oregon Programming Languages Summer School
- Oregon Programming Languages Summer School
- Hoogle
- Lecture notes and assignments
- OCW Course Index | MIT OpenCourseWare | Free Online Course Materials
- 500 Lines or Less
- 图灵社区: 合集 : 开源软件架构翻译计划
- 搜索 - 推酷
- EoPL doc
- Overleaf: Online LaTex, Template
- ShareLaTeX, 在线LaTeX编辑器
- TeXample.net
- 知识库 - CSDN
- JUnit - About
- lpaste
- languages -> JS
- Travis CI - Test and Deploy Your Code with Confidence
- app veyor
- Atom - Packages
- C311/B521/A596 Programming Languages [Schedule]
- InfoQ
- COMP 3351 Programming Languages, Fall 2008
- Udacity - Free Online Classes & Nanodegrees
- Courses in Computer Science and Engineering | Computer Science & Engineering
- 15-819 O: Program Analysis
- 首页——北京大学百周年纪念讲堂
- OpenJudge - 算法分析和复杂性理论 - 首页
- blog.might.net
- infoQ - Language Design
- Lecture 01: Course Overview
- 北京大学教学网
- DigitalOcean - Droplet
- 选择、获取最新可用 IPv6 或教育网校园网 hosts - 奶齿 Netsh
- c - What's the difference between a null pointer and a void pointer? - Stack Overflow
- Abstract Interpretation
- [QA]你所读的计算机科学方向，有哪些不错的讲义（Notes）？ - 知乎
- Short implementation examples of abstract interpretation - Stack Overflow
- cppreference.com
- 七月在线 - 专注数据领域的在线教育
- Hot Questions - Stack Exchange
- Computer Laboratory – Course material 2010–11: Advanced Category Theory in Computer Science
- * The Business of Software
- Home | Codewars
- IMSLP/Petrucci Music Library: Free Public Domain Sheet Music
- Kaggle: Your Home for Data Science
- 北京市小客车指标管理信息系统
- Dashboard · GitBook
- 实习机会 - 微软亚洲研究院
- 学生 - Google招贤纳士
- 天池大数据科研平台-打造“数据众智、众创”第一平台
- 优达学城 - 所有课程和纳米学位项目
- Pocket: 我的列表
- NLPJob
- 计算机最新国际会议和期刊列表 - Conference Partner (会伴)
- Home | Handbook for RPg Studies 2016-17
- 香港科技大学计算机科学及工程学系研究生招生资讯
- Fully-Funded Research Postgraduate Studies | Funding | Prospective Students | HKUST Office Of Postgraduate Studies
- HKUST Scholarly Publications
- FAQ | The Graduate University For Advanced Studies (SOKENDAI) / School of Multidisciplinary Sciences Department of Informatics Ph.D.Program
- Zhenjiang Hu's home page
- Programming Research Laboratory
- PhD in Computer Science | Graduate Admissions
- DPhil in Computer Science | University of Oxford
- 国家留学信息平台
- 扇贝口语
- 背单词记录 - baicizhan.com
- Aiiizen / home — Bitbucket
awesome
- meta awesome
- awesome-math
- awesome-python
- awesome-artificial-intelligence
- awesome-machine-learning
- awesome-tech-videos
- awesome-speaking
- awesome-talks
- awesome-static-analysis
- papers-we-love
- plt
- PLT-Papers
- The Architecture of Open Source Applications
- sajith/cs-papers: Ye Olde Computer Science Scrolls!
- Memect: Memory Connected
- STAR!!! - awesome-courses
- Separation Logic home page
- Saylor Academy
- Great Works in Programming Languages
- List of data structures - Wikipedia
- Best paper awards at AAAI, ACL, CHI, CIKM, CVPR, FOCS, FSE, ICCV, ICML, ICSE, IJCAI, INFOCOM, KDD, MOBICOM, NSDI, OSDI, PLDI, PODS, S&P, SIGCOMM, SIGIR, SIGMETRICS, SIGMOD, SODA, SOSP, STOC, UIST, VLDB, WWW
- E.W.Dijkstra Archive: Home page
- [资料合集] RednaxelaFX写的文章/回答的导航帖（work in progress） - 编程语言与高级语言虚拟机杂谈（仮） - 知乎专栏
- 那些改变我对编程看法的演讲 - 知乎专栏
- Talks that changed the way I think about programming – Oliver Powell
Read List
- How to Create a Sublime Text 2 Plugin
- Closure (computer programming) - Wikipedia, the free encyclopedia
- Syntactic closure - Wikipedia, the free encyclopedia
- Partial application - Wikipedia, the free encyclopedia
- Evaluation strategy - Wikipedia, the free encyclopedia
- Eager evaluation - Wikipedia, the free encyclopedia
- Partial evaluation - Wikipedia, the free encyclopedia
- Reduction strategy (lambda calculus) - Wikipedia, the free encyclopedia
- Abstract machine - Wikipedia, the free encyclopedia
- Category:Lambda calculus - Wikipedia, the free encyclopedia
- Lambda cube - Wikipedia, the free encyclopedia
- Homotopy type theory - Wikipedia, the free encyclopedia
- Short-circuit evaluation - Wikipedia, the free encyclopedia
- Remote evaluation - Wikipedia, the free encyclopedia
- Template metaprogramming - Wikipedia, the free encyclopedia
- Metaprogramming - Wikipedia, the free encyclopedia
- Programming paradigm - Wikipedia, the free encyclopedia
- Lazy evaluation - Wikipedia, the free encyclopedia
- Funarg problem - Wikipedia, the free encyclopedia
- Scope (computer science) - Wikipedia, the free encyclopedia
- Referential transparency - Wikipedia, the free encyclopedia
- Name binding - Wikipedia, the free encyclopedia
- Semantics (computer science) - Wikipedia, the free encyclopedia
- Denotational semantics - Wikipedia, the free encyclopedia
- Search · icfp
- Search · popl
- Search · pldi
- Web Server
- Web Server Tutorial
- Let’s Build A Web Server. Part 1. - Ruslan's Blog
- Ruslan's Blog
- Why Dependently Typed Programming Will (One Day) Rock Your World
- Philosophy of science books every computer scientist should read
- xavier/sicp-notes: My notes as a I go through the legendary 1986 SICP lectures given by Professors Sussman and Abelson.
- CS 61A Summer 2010: Structure and Interpretation of Computer Programs
- Mastering Markdown · GitHub Guides
- Apply - Wikipedia, the free encyclopedia
- Edsger W. Dijkstra on Dutch TV - YouTube
- Edsger W. Dijkstra on Dutch TV - YouTube
- Scheme Macro Programming
- Alan Kay - Wikipedia, the free encyclopedia
- Pure (programming language) - Wikipedia, the free encyclopedia
- 15-312 Principles of Programming Languages
- What is static analysis?
- shell学习路线_shell学习计划_慕课网学习路径
- Python - Python实现基于协程的异步爬虫 - 实验楼
- Analyzing Programs with Z3 | jelv.is
- Programming language specification - Wikipedia, the free encyclopedia
- https://cgi.soic.indiana.edu/~c311/lib/exe/fetch.php?media=cps-notes.scm
- Continuation-passing style - Wikipedia, the free encyclopedia
- [Scheme]Understanding the Yin-Yang Puzzle - Scan. - 博客园
- What is continuation-passing style in functional programming? - Quora
- Haskell函数式编程入门
- ZoomEye高级黑
- Hindley–Milner type system - Wikipedia, the free encyclopedia
- PhD, Research, and Programming Languages
- recursion-to-iteration series - Tom Moertel’s Blog
- Functional Fun: Bouncing on your tail
- denysdovhan/bash-handbook: For those who wanna learn Bash
- TerrorJack/ucore_os_lab: os kernel labs for operating systems course in Tsinghua University.
- Character encoding - Wikipedia, the free encyclopedia
- By example: Continuation-passing style in JavaScript
- How to compile with continuations
- TypeClasses.pdf
- Parametricity and Modular Reasoning
- Intro to Parsing with Parsec in Haskell
- Typed Lambda-Calculus
- 10. racket - Control Flow
- The Complete Beginner’s Guide To Chatbots — Chatbots Magazine
- hackerkid/bots: Curated list of resources on building bots
- Just-in-time compilation - Wikipedia, the free encyclopedia
- Haskell by Example
- 从表到里学习JVM实现
- Parametric polymorphism - Wikipedia, the free encyclopedia
- Generic programming - Wikipedia, the free encyclopedia
- adhoc-polymorphsim - philip wadler
- milner-damas_principal_types.pdf
- Home · Z3Prover/z3 Wiki
- Jones, Gomard, Sestoft: Partial Evaluation
- Semantics with Applications
- Programming Language Pragmatics, Third Edition (豆瓣)
- 编程的修炼（中英双语） (豆瓣)
- 代码大全（第2版） (豆瓣)
- How the V8 engine works?
- 创业公司 - 热门问答 - 知乎
- 公司财税 - 话题精华 - 知乎
- 避税 - 话题精华 - 知乎
- 创业公司如何 X - 话题精华 - 知乎
- 创业法务 - 话题精华 - 知乎
- 股权 - 话题精华 - 知乎
- 公司法 - 内容精选 - 知乎
- 《きつねさんでもわかるLLVM コンパイラを自作するためのガイドブック》 柏木 餅子, 風薬【摘要 书评 试读】图书
- Index of /afs/cs.cmu.edu/academic/class/15745-s14/public/lectures
- CS:APP3e, Bryant and O'Hallaron
- 15-818A3 Introduction to Separation Logic
- Unification (computer science) - Wikipedia, the free encyclopedia
- Lecture 26: Type Inference and Unification
- Homotopy Type Theory
- NoSQL 简介 | 菜鸟教程
- What is Syntax Directed Translation (SDT) - YouTube
- Category:Glossary - HaskellWiki
- completeness.pdf
- Static program analysis - Wikipedia, the free encyclopedia
- 随机应变的访问者模式（Visitor Pattern） - 知知为知知 - ITeye技术网站
- 深入浅出设计模式——访问者模式（Visitor Pattern） - Bobby0322 - 博客园
- 设计模式总结之Visitor Pattern（访问者模式） - cooldragon的专栏 - 博客频道 - CSDN.NET
- 15-411 Compiler Design / Schedule
- 15-745 Handouts
- MIT Course 16.399: « Abstract Interpretation » Home Page
- Abstract Interpretation in a Nutshell
- LLVM Tutorial: Table of Contents — LLVM 4.0 documentation
- 19 Reasoning about Programs: A First Look at Types
- What is type safety? - The PL Enthusiast
- Chapter 4 Calculus of Inductive Constructions
- Introduction to the Calculus of Inductive Constructions
- oplss-herbelin1.pdf
- Oregon Programming Languages Summer School
- 15-213 (18-213/15-513): Introduction to Computer Systems
- 15-213 (18-213/15-513): Introduction to Computer Systems
- 【读薄 CSAPP】零 系列概览 | 小土刀
- Engineering a Compiler, Second Edition (豆瓣)
- Why is NFA used when we already have DFA? Is it because NFA is easier to create and then we can convert back to DFA? - Quora
- How can I create DFA using python? - Quora
- Why are all proof assistants written in functional programming languages? - Quora
- Why does software have bugs? - Quora
- Visitor pattern - Wikipedia, the free encyclopedia
- OCaml – OCaml
- Why is OCaml's (+) not polymorphic? - Stack Overflow
- f# - What is the difference between the `fun` and `function` keywords? - Stack Overflow
- Compiling OCaml projects – OCaml
- Modules – OCaml
- Streams Expressions – OCaml
- Rewriting Micro Compiler in OCaml using ocamllex and ocamlyacc - Troydm's Blog
- Lexer and parser generators (ocamllex, ocamlyacc)
- OCaml Tutorials – OCaml
- nasm - Google Search
- tapl/fulluntyped/src at master · mobajm/tapl
- troydm/micro at simple
- NASM
- Chapter 16. Parsing with OCamllex and Menhir / Real World OCaml
- Labels – OCaml
- 搭建Shadowsocks服务器 - 简书
- 教你如何搭建自己的Shadowsocks服务器。 | xqd的小站
- 科学上网：用 VPS 搭建 shadowsocks 服务器-526294412-ChinaUnix博客
- vscode-Intro Videos Overview
- How do I write a simple compiler? - Quora
- c++ - Differences between unique_ptr and shared_ptr - Stack Overflow
- c++ - Should I use shared_ptr or unique_ptr? - Stack Overflow
- c++ - What is a smart pointer and when should I use one? - Stack Overflow
-
- CS 3110 - Spring 2014 - Lecture Notes
- steele.pdf
- How to prove a language is regular? - Computer Science Stack Exchange
- SKI combinator calculus - Wikipedia, the free encyclopedia
- CompCert - Main page
- big list - What papers should everyone read? - Theoretical Computer Science Stack Exchange
- www.csc.lsu.edu/~chen/GreatPapers.html
- Null Safety - Kotlin Programming Language
- Null Versus None
- Static Code Analysis - Quora
- How is static program analysis isomorphic to the maximum satisfiability problem? - Quora
- What is the difference between algebra, linear algebra, and abstract algebra? - Quora
- 77
- Data flow analysis is model checking of abstract interpretations
- algorithm analysis - Is there a technique for statically checking that a function is only called at a particular rate? - Computer Science Stack Exchange
- POPL-97-publie-2e.dvi
- 98kluwer-synthesis.pdf
- Ras Bodik - EECS - Computer Science Division - UC Berkeley
- The Universes of Max Tegmark
- AbstractAlgebra.pdf
- 代数 (豆瓣)
- Algebra - Wikipedia, the free encyclopedia
- Abstract algebra - Wikipedia, the free encyclopedia
- What is relationship between linear algebra and abstract algebra? - Quora
- computability - Does there exist a Turing complete typed lambda calculus? - Computer Science Stack Exchange
- Rewriting - Wikipedia, the free encyclopedia
- Normalization property (abstract rewriting) - Wikipedia, the free encyclopedia
- Total functional programming - Wikipedia, the free encyclopedia
- What breaks the Turing Completeness of simply typed lambda calculus? - Mathematics Stack Exchange
- Is there a "good enough" solution for the halting problem? - Stack Overflow
- How is First Order Logic complete but not decidable? - Philosophy Stack Exchange
- proof verification - Proving Undecidability of first order logic without first proving it for arithmetic. - Mathematics Stack Exchange
- computability - A total language that only a Turing complete language can interpret - Theoretical Computer Science Stack Exchange
- type theory - Is there a typed lambda calculus which is consistent and Turing complete? - Theoretical Computer Science Stack Exchange
- Judgment - Everything2.com
- Meanings-of-the-Logical-Constants-1983.pdf
- CS295 Software Engineering
- WSSA'03: David Schmidt's lectures
- [0810.2179] Structural abstract interpretation, A formal study using Coq
- MIT Course 16.399: « Abstract Interpretation » Home Page
- 15-414 Bug Catching: Automated Program Verification and Testing
- Recherche -- Coq & type theory
- Formal Specification and Verification - First-Order Logic
- Vorlesung "Formale Spezifikation und Verifikation"
- CS:APP3e - Lab , Bryant and O'Hallaron
- 小提琴知识总汇--初学必看
- 小提琴初级教程_图文_百度文库
- Search the Stack Exchange Network of Sites
- Search - denotational semantics - Quora
- What is the Best online resource to learn C++ 14 for intermediate programmers? - Quora
- CMake vs Make | PERPETUAL ENIGMA
- vonzhou/CSAPP: CSAPP,《深入理解计算机系统结构》2nd ，阅读与实践！
- mofaph/csapp: Computer Systems: A Programmer's Perspective
- Which language has the brightest future in replacement of C between D, Go and Rust? And Why? - Quora
- algorithm - Context-free grammars versus context-sensitive grammars? - Stack Overflow
- P vs. NP and the Computational Complexity Zoo - YouTube
- How does a pushdown automaton differ from a Turing machine? - Quora
- Turing machines and linear bounded automata - Informatics 2A: Lecture 29
- Context Sensitive Grammar
- Intermediate Representations
- How to implement dependent type theory I | Mathematics and Computation
- lo.logic - What is the most intuitive dependent type theory I could learn? - Theoretical Computer Science Stack Exchange
- Certified Programming with Dependent Types
- Data-flow analysis - Wikipedia
- Software Security - OVERVIEW | Coursera
- Lec05-Interprocedural.pdf
- procedure_summaries.pdf
- dynamic programming - Google Search
- Search - dynamic programming - Quora
- Search the Stack Exchange Network of Sites
- CFL - reachability - paper.pdf
- lecture20.dvi
- Complexity Classes: P, NP, co-NP, PSPACE | Concrete Nonsense
- 什么是伪多项式时间算法？ - 詹宇的回答 - 知乎
- dens.dvi
- Computer Laboratory – Course material 2010–11: Denotational Semantics
- Semantics
- Computer Laboratory – Course material 2010–11: Denotational Semantics
- dens.dvi
- OS - 6.828 / Fall 2014
- Neural Networks, Types, and Functional Programming -- colah's blog
- demotSem in coq - main.dvi
- Some stupid questions on denotational semantics | Lambda the Ultimate
- Definitional interpreters for higher-order programming languages
- First-class, run-time macros from meta-circular evaluators
- Coroutine - Wikipedia
- 学小提琴应掌握的基本乐理知识_Viola_新浪博客
- 写给理工科人看的乐理（一）声学基础 - Devymex - 博客园
- 理科生都懂的乐理 - 简书
- Python - Python实现Python解释器 - 实验楼
- Code audit - Wikipedia
- Defensive programming - Wikipedia
- POJ 1952 BUY LOW, BUY LOWER DP 最长下降序列求个数 - To be an ACMan - 博客园
- Understanding LSTM Networks -- colah's blog
- 歪写数学史（原创长篇）第十八章 浅谈乐理中的数学 | 果壳网移动版
- 和弦的定义是什么？ - 知乎
- 怎么给旋律配和弦？ - 知乎
- 纯律、十二平均律和五度相生律是如何产生的？ - 知乎
- Operator-precedence parser - Wikipedia
- How to Build a Virtual Machine - YouTube